Teaching Programming and Design-by-Contract

This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation. In this paper we claim that division in beginner and advanced groups improves the learning outcomes, present the discussion and the data that support the claim.Comment: 21th International Conference on Interactive Collaborative Learnin

The impact of writing on academic performance for medical students

Abstract Background Writing is a useful learning activity that promotes higher-order thinking, but there are limited studies that prove its effectiveness. In previous research, researchers tested the effect of summary writing on students comprehension and found no significant difference from that of re-studying texts. The purpose of this study, therefore, is to expand previous findings and investigate the effect of two types of writing tasks on medical students academic performance, specifically in the transfer of knowledge. Methods An experiment was conducted with 139 medical students from Seoul National University College of Medicine. They were randomly assigned to three study conditions: self-study (SS), expository writing (EW), and argumentative writing (AW) group. Each group studied the given material by the method they were assigned, and they were tested on their comprehension and transfer of knowledge using rote-memory type items and transfer type items respectively. Results The results showed that the two writing groups displayed better performance than the SS group in transfer type items, while there was no difference in scores between the EW and AW group. However, the three groups showed no significant difference in their scores for rote-memory type items. Also, there was a positive correlation between the writing scores and transfer type item scores in the AW group. Conclusions This study provides empirical evidence for writing to be adopted in medical education for greater educational benefits. Our findings indicate that writing can enhance learning and higher-order thinking, which are critical for medical students

Active learning through discussion: ICAP framework for education in health professions

Background The ICAP framework based on cognitive science posits four modes of cognitive engagement: Interactive, Constructive, Active, and Passive. Focusing on the wide applicability of discussion as interactive engagement in medical education, we investigated the effect of discussion when it was preceded by self-study and further investigated the effect of generating questions before discussions. Methods This study was conducted in the second semester of 2018 and was participated in by 129 students majoring in health professions, including medicine, dentistry, veterinary medicine, and nursing. The students were assigned to four different trial groups and were asked to fill out a Subjective Mental Effort Questionnaire after completing each session. Their performance in posttest scores was analyzed using Bonferroni test, and mental effort was analyzed using mediation analysis. Results These results indicated that the self-study and question group had the highest performance and that the lecture and summary group had the lowest performance when comparing the total score. Using the analysis of mental effort, it was confirmed that the relationship between different study conditions and post-test performance was mediated by mental effort during test. Conclusions Our findings support the ICAP framework and provide practical implications for medical education, representing the fact that students learn more when they are involved in active learning activities, such as self-study and question generation, prior to discussions.This work was supported by Research Resettlement Fund, funded by Seoul National University to allow the new faculty to design and develop new teaching and learning paradigms in higher education

Comparison between Deflection and Vibration Characteristics of Rectangular and Trapezoidal profile Microcantilevers

Arrays of microcantilevers are increasingly being used as physical, biological, and chemical sensors in various applications. To improve the sensitivity of microcantilever sensors, this study analyses and compares the deflection and vibration characteristics of rectangular and trapezoidal profile microcantilevers. Three models of each profile are investigated. The cantilevers are analyzed for maximum deflection, fundamental resonant frequency and maximum stress. The surface stress is modelled as in-plane tensile force applied on the top edge of the microcantilevers. A commercial finite element analysis software ANSYS is used to analyze the designs. Results show paddled trapezoidal profile microcantilevers have better sensitivity

Model-based assessment of mammalian cell metabolic functionalities using omics data.

Omics experiments are ubiquitous in biological studies, leading to a deluge of data. However, it is still challenging to connect changes in these data to changes in cell functions because of complex interdependencies between genes, proteins, and metabolites. Here, we present a framework allowing researchers to infer how metabolic functions change on the basis of omics data. To enable this, we curated and standardized lists of metabolic tasks that mammalian cells can accomplish. Genome-scale metabolic networks were used to define gene sets associated with each metabolic task. We further developed a framework to overlay omics data on these sets and predict pathway usage for each metabolic task. We demonstrated how this approach can be used to quantify metabolic functions of diverse biological samples from the single cell to whole tissues and organs by using multiple transcriptomic datasets. To facilitate its adoption, we integrated the approach into GenePattern (www.genepattern.org-CellFie)

Gene-Environment Interactions Relevant to Estrogen and Risk of Breast Cancer: Can Gene-Environment Interactions Be Detected Only among Candidate SNPs from Genome-Wide Association Studies?

In this study we aim to examine gene–environment interactions (GxEs) between genes involved with estrogen metabolism and environmental factors related to estrogen exposure. GxE analyses were conducted with 1970 Korean breast cancer cases and 2052 controls in the case-control study, the Seoul Breast Cancer Study (SEBCS). A total of 11,555 SNPs from the 137 candidate genes were included in the GxE analyses with eight established environmental factors. A replication test was conducted by using an independent population from the Breast Cancer Association Consortium (BCAC), with 62,485 Europeans and 9047 Asians. The GxE tests were performed by using two-step methods in GxEScan software. Two interactions were found in the SEBCS. The first interaction was shown between rs13035764 of NCOA1 and age at menarche in the GE|2df model (p-2df = 1.2 × 10−3). The age at menarche before 14 years old was associated with the high risk of breast cancer, and the risk was higher when subjects had homozygous minor allele G. The second GxE was shown between rs851998 near ESR1 and height in the GE|2df model (p-2df = 1.1 × 10−4). Height taller than 160 cm was associated with a high risk of breast cancer, and the risk increased when the minor allele was added. The findings were not replicated in the BCAC. These results would suggest specificity in Koreans for breast cancer risk

Gene-Environment Interactions Relevant to Estrogen and Risk of Breast Cancer: Can Gene-Environment Interactions Be Detected Only among Candidate SNPs from Genome-Wide Association Studies?

In this study we aim to examine gene–environment interactions (GxEs) between genes involved with estrogen metabolism and environmental factors related to estrogen exposure. GxE analyses were conducted with 1970 Korean breast cancer cases and 2052 controls in the case-control study, the Seoul Breast Cancer Study (SEBCS). A total of 11,555 SNPs from the 137 candidate genes were included in the GxE analyses with eight established environmental factors. A replication test was conducted by using an independent population from the Breast Cancer Association Consortium (BCAC), with 62,485 Europeans and 9047 Asians. The GxE tests were performed by using two-step methods in GxEScan software. Two interactions were found in the SEBCS. The first interaction was shown between rs13035764 of NCOA1 and age at menarche in the GE|2df model (p-2df = 1.2 × 10−3). The age at menarche before 14 years old was associated with the high risk of breast cancer, and the risk was higher when subjects had homozygous minor allele G. The second GxE was shown between rs851998 near ESR1 and height in the GE|2df model (p-2df = 1.1 × 10−4). Height taller than 160 cm was associated with a high risk of breast cancer, and the risk increased when the minor allele was added. The findings were not replicated in the BCAC. These results would suggest specificity in Koreans for breast cancer risk

Gene-Environment Interactions Relevant to Estrogen and Risk of Breast Cancer: Can Gene-Environment Interactions Be Detected Only among Candidate SNPs from Genome-Wide Association Studies?

From MDPI via Jisc Publications RouterHistory: accepted 2021-04-30, pub-electronic 2021-05-14Publication status: PublishedFunder: Seoul National University Hospital; Grant(s): 2021, 0320150110 (2015-1126)In this study we aim to examine gene–environment interactions (GxEs) between genes involved with estrogen metabolism and environmental factors related to estrogen exposure. GxE analyses were conducted with 1970 Korean breast cancer cases and 2052 controls in the case-control study, the Seoul Breast Cancer Study (SEBCS). A total of 11,555 SNPs from the 137 candidate genes were included in the GxE analyses with eight established environmental factors. A replication test was conducted by using an independent population from the Breast Cancer Association Consortium (BCAC), with 62,485 Europeans and 9047 Asians. The GxE tests were performed by using two-step methods in GxEScan software. Two interactions were found in the SEBCS. The first interaction was shown between rs13035764 of NCOA1 and age at menarche in the GE|2df model (p-2df = 1.2 × 10−3). The age at menarche before 14 years old was associated with the high risk of breast cancer, and the risk was higher when subjects had homozygous minor allele G. The second GxE was shown between rs851998 near ESR1 and height in the GE|2df model (p-2df = 1.1 × 10−4). Height taller than 160 cm was associated with a high risk of breast cancer, and the risk increased when the minor allele was added. The findings were not replicated in the BCAC. These results would suggest specificity in Koreans for breast cancer risk

A Case for Dynamic Reverse-code Generation

Backtracking (i.e. reverse execution) helps the user of a debugger to naturally think backwards along the execution path of a program, and thinking backwards makes it easy to locate the origin of a bug. So far backtracking has been implemented mostly by state saving or by checkpointing. These implementations, however, inherently do not scale. As has often been said, the ultimate solution for backtracking is to use reverse code: executing the reverse code restores the previous states of a program. In our earlier work, we presented a method to generate reverse code on the fly while running a debugger. This article presents a case study of dynamic reverse-code generation. We compare the memory usage of various backtracking methods in a simple but nontrivial example, a bounded-buffer program. In the case of non-deterministic programs such as this bounded-buffer program, our dynamic reverse-code generation can outperform the existing backtracking methods in terms of memory efficiency